$\forall$$l$:Top List. ($l$ @ nil) $\sim$ $l$